Cell decomposition for semiaffine structures on p-adic fields
نویسنده
چکیده
We use cell decomposition techniques to study additive reducts of p-adic fields. We consider a very general class of fields, including fields with infinite residue fields, which we study using a multi-sorted language. The results are used to obtain cell decomposition results for the case of finite residue fields. We do not require fields to be Henselian, and we allow them to be of any characteristic. 2010 Mathematics Subject Classification 03C07, 03C10 (primary); 03C64, 11U09 (secondary)
منابع مشابه
Uniform p-adic cell decomposition and local zeta functions
The purpose of this paper is to give a cell decomposition for p-adic fields, uniform in p. This generalizes a cell decomposition for fixed p, proved by Denef [7], [9]. We also give some applications of our cell decomposition. A first implication is a uniform quantifier elimination for p-adic fields. Beiair [2], Delon [6] and Weispfenning [16] obtained quantifier elimination in other languages, ...
متن کاملCell Decomposition and Dimension Functions in First-order Topological Structures
The notion of a cell and that of a cell decomposition has been a central one in the study of certain first-order theories. A cell is a particular kind of definable set. The notion of a cell was first explicitly considered in [8], in the context of the theory of real closed fields. Collins defined a class of cells in this context, and showed that every definable subset of a real closed field is ...
متن کاملAnalytic P-adic Cell Decomposition and P-adic Integrals
Roughly speaking, the semialgebraic cell decomposition theorem for p-adic numbers describes piecewise the p-adic valuation of p-adic polyno-mials (and more generally of semialgebraic p-adic functions), the pieces being geometrically simple sets, called cells. In this paper we prove a similar cell decomposition theorem to describe piecewise the valuation of analytic functions (and more generally...
متن کاملArithmetic and Geometric Applications of Quantifier Elimination for Valued Fields
We survey applications of quantifier elimination to number theory and algebraic geometry, focusing on results of the last 15 years. We start with the applications of p-adic quantifier elimination to p-adic integration and the rationality of several Poincar series related to congruences f(x) = 0 modulo a prime power, where f is a polynomial in several variables. We emphasize the importance of p-...
متن کاملPresburger sets and p-minimal fields
We prove a cell decomposition theorem for Presburger sets and introduce a dimension theory for Z-groups with the Presburger structure. Using the cell decomposition theorem we obtain a full classification of Presburger sets up to definable bijection. We also exhibit a tight connection between the definable sets in an arbitrary p-minimal field and Presburger sets in its value group. We give a neg...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. Logic & Analysis
دوره 4 شماره
صفحات -
تاریخ انتشار 2012